Sequent calculus - PDFSEARCH.IO - Document Search Engine

Sequent calculus
Results: 198

#	Item
171	MUltseq: Sequents, Equations, and Beyond? Angel J. Gil1 and Gernot Salzer2 1 Universitat Pompeu Fabra, [removed] 2 Add to Reading List Source URL: www.logic.at Language: English - Date: 2001-07-23 13:39:33 Non-classical logic Logic in computer science Propositional calculus Sequent Intuitionistic logic Many-valued logic Admissible rule Natural deduction Mathematical logic Logic Proof theory
172	Mini-course on proof theory Pierre-Louis Curien (CNRS, University Paris 7, and INRIA) Cambridge, June 1, 3, and 4, 2010 Supported by a Leverhulme grant Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2010-06-08 06:42:34 Mathematics Natural deduction Curry–Howard correspondence Sequent calculus Linear logic Sequent Cut-elimination theorem Proof theory Logic Mathematical logic
173	A Brief History of Natural Deduction Add to Reading List Source URL: www.sfu.ca Language: English - Date: 2009-10-30 18:11:37 Propositional calculus Formal systems Boolean algebra Logical truth Natural deduction Rule of inference Sequent calculus Double negative elimination Sequent Logic Mathematical logic Proof theory
174	Description Logics in the Calculus of Structures Jean-David Roubach1,2 , Pascal Yim2 , and Joaquín Rodriguez1 1 INRETS – ESTAS Villeneuve d’Ascq, France Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Non-classical logic Philosophical logic Metalogic Calculus of structures Modal logic Deep inference Structural proof theory Sequent calculus Proof calculus Logic Mathematical logic Proof theory
175	On Herbrand’s Theorem Samuel R. Buss University of California, San Diego Add to Reading List Source URL: math.ucsd.edu Language: English - Date: 2002-06-25 19:08:00 Model theory Predicate logic Metalogic Herbrandization First-order logic Sequent calculus Skolem normal form Well-formed formula Prenex normal form Logic Mathematical logic Proof theory
176	A Simpler Proof Theory for Nominal Logic James Cheney University of Edinburgh Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-02-14 05:42:09 Proof theory Model theory Admissible rule Modal logic Natural deduction Symbol Sequent calculus Parity of a permutation Interpretation Logic Mathematical logic Mathematics
177	Purity through Unravelling Robert Hein and Charles Stewart Technische Universit¨ Add to Reading List Source URL: bitschnitzer.de Language: English - Date: 2006-02-22 15:53:09 Mathematics Kripke semantics Natural deduction Modal logic Propositional calculus Sequent calculus First-order logic Structural proof theory Proof calculus Logic Mathematical logic Proof theory
178	Classical Modal Display Logic in the Calculus of Structures and Minimal Cut-free Deep Inference Calculi for S5 Add to Reading List Source URL: users.cecs.anu.edu.au Language: English - Date: 2007-05-11 02:54:57 Non-classical logic Substructural logic Inference Philosophical logic Structural proof theory Sequent calculus Deep inference Sequent Kripke semantics Logic Mathematical logic Proof theory
179	A Systematic Proof Theory for Several Modal Logics Charles Stewart and Phiniki Stouppa Add to Reading List Source URL: www.textproof.com Language: English - Date: 2008-12-23 04:40:00 Sequent calculus Proof calculus Propositional calculus Structural proof theory Sequent Cut-elimination theorem Hilbert system Modal logic Rule of inference Logic Mathematical logic Proof theory
180	A Deep Inference System for the Modal Logic S5 Phiniki Stouppa ∗ March 1, 2006 Add to Reading List Source URL: www.iam.unibe.ch Language: English - Date: 2006-03-01 08:48:04 Sequent calculus Structural proof theory Sequent Modal logic Rule of inference Cut-elimination theorem Deep inference Linear logic Formal proof Logic Proof theory Mathematical logic

UPDATE